Variants of string assembling systems

نویسندگان

چکیده

Abstract String assembling systems are biologically inspired mechanisms that generate strings from copies out of finite sets assembly units. The underlying mechanism is based on piecewise a double-stranded sequence symbols, where the upper and lower strand have to match. generation additionally controlled by requirement first symbol unit has be same as last generated so far, well distinction units may appear at beginning, during, or end process length restriction We investigate power these model-inherent control considering variants one more relaxed. generative capacities relative our main interest. In particular, we prove gained in different yield strictly powerful incomparable capacities. Additionally, generalize multi-stranded systems. obtain strong connection one-way multi-head automata show an infinite, dense, strict hierarchy. Finally, examine closure properties string

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

String Assembling Systems

We introduce and investigate string assembling systems which form a computational model that generates strings from copies out of a finite set of assembly units. The underlying mechanism is based on piecewise assembly of a double-stranded sequence of symbols, where the upper and lower strand have to match. The generation is additionally controlled by the requirement that the first symbol of a u...

متن کامل

Self-Assembling Systems are Distributed Systems

In 2004, Klavins et al. introduced the use of graph grammars to describe—and to program— systems of self-assembly. We show that these graph grammars can be embedded in a graph rewriting characterization of distributed systems that was proposed by Degano and Montanari over twenty years ago. We apply this embedding to generalize Soloveichik and Winfree’s local determinism criterion (for achieving...

متن کامل

Formal Verification of Self-Assembling Systems

This paper introduces the theory and practice of formal verification of self-assembling systems. We interpret a well-studied abstraction of nanomolecular self assembly, the Abstract Tile Assembly Model (aTAM), into Computation Tree Logic (CTL), a temporal logic often used in model checking. We then consider the class of “rectilinear” tile assembly systems. This class includes most aTAM systems ...

متن کامل

Effects of confinement on self - assembling systems

Systems in which particles can self-assemble into mono-or bilayers can form variety of stable and metastable structures on a nanometer length scale. For this reason confinement has a particularly strong effect on such systems. We discuss in some detail effects of confinement on lamellar and cubic phases with double-diamond structure. Structural deformations in slit geometry are described for la...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Natural Computing

سال: 2022

ISSN: ['1572-9796', '1567-7818']

DOI: https://doi.org/10.1007/s11047-022-09918-x